Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

France14883
Michael Rusinowitch121
France Sauf Michael Rusinowitch" 14812
Michael Rusinowitch Sauf France" 50
France Et Michael Rusinowitch 71
France Ou Michael Rusinowitch 14933
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 71.
Ident.Authors (with country if any)Title
000061 Mathieu Turuani [France] ; Thomas Voegtlin [France] ; Michael Rusinowitch [France]Automated Verification of Electrum Wallet
000231 Tushant Jha [France] ; Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata
000420 Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Parametrized automata simulation and application to service composition
000780 Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Rafik Kheddam [France] ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Model‐based mutation testing from security protocols in HLPSL
000818 Asma Cherif [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]Practical access control management for distributed collaborative editors
000888 Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]A Maximum Variance Approach for Graph Anonymization
000A04 Walid Belkhir [France] ; Gisela Rossi [France] ; Michael Rusinowitch [France]A Parametrized Propositional Dynamic Logic with Application to Service Synthesis
000C34 Ghazi Maatoug [France] ; Frédéric Dadeau [France] ; Michael Rusinowitch [France]Model-Based Vulnerability Testing of Payment Protocol Implementations
000C69 Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]Enforcing Privacy in Decentralized Mobile Social Networks
000F28 Michael Rusinowitch [France]Automated verification of security protocols and application to services
000F63 Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Guarded Variable Automata over Infinite Alphabets
000F96 Houari Mahfoud [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]SVMAX: a system for secure and valid manipulation of XML data
001015 Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Fresh-Variable Automata for Service Composition
001260 Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001262 Abdessamad Imine [France] ; Michael Rusinowitch [France]Secure Collaboration for Smartphones
001499 Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001799 Hatem Ghabri ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Compiling symbolic attacks to protocol implementation tests
001893 Tigran Avanesov [Luxembourg (pays)] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Towards the Orchestration of Secured Services under Non-disclosure Policies.
001A56 Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Synchronous Distributivity
001C64 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]String rewriting and security analysis: an extension of a result of Book and Otto
002123 Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France]Web Services Verification and Prudent Implementation
002127 Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Distributed Orchestration of Web Services under Security Constraints
002153 Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Block Chaining
002947 Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France]Orchestration under Security Constraints
002972 Ryma Abassi [Tunisie] ; Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Sihem Guemara El Fatmi [Tunisie]XML Access Control: from XACML to Annotated Schemas
002A26 Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Satisfiability of General Intruder Constraints with a Set Constructor
002B06 Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France]Safe and Efficient Strategies for Updating Firewall Policies
002B58 Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite-Based Verification of XML Updates
002D34 Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Satisfiability of General Intruder Constraints with and without a Set Constructor
002D71 Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France]Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
002E95 Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France]Efficient Decision Tree for Protocol Analysis in Intrusion Detection
002F08 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
003002 Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo Homomorphic Encryption
003169 Yannick Chevalier [France] ; Michael Rusinowitch [France]Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
003434 Abdessamad Imine [France] ; Asma Cherif [France] ; Michael Rusinowitch [France]A Flexible Access Control Model for Distributed Collaborative Editors
003487 Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France]Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists
003684 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
003C46 Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite based Verification of XML Updates
003C83 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Data Structures with Arithmetic Constraints: a Non-Disjoint Combination
003C86 Yannick Chevalier [France] ; Michael Rusinowitch [France]Compiling and securing cryptographic protocols
003C88 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Combinable Extensions of Abelian Groups
003D08 Humberto Abdelnur [France] ; Tigran Avanesov [France] ; Michael Rusinowitch [France] ; Radu State [France]Abusing SIP authentication
003F06 Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France]Towards a Constrained-based Verification of Parameterized Cryptographic Protocols
003F13 Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France]Automatic Composition of Services with Security Policies
003F94 Siva Anatharaman [France] ; Hai Lin ; Chris Lynch ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Active Intruders with Caps
004144 Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree automata with equality constraints modulo equational theories
004188 Yannick Chevalier [France] ; Ralf Kuesters ; Michael Rusinowitch [France] ; Mathieu Turuani [France]Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
004412 Florent Jacquemard [France] ; Michael Rusinowitch [France]Closure of Hedge-Automata Languages by Hedge Rewriting
004460 Yannick Chevalier [France] ; Michael Rusinowitch [France]Hierarchical combination of intruder theories
004526 Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France]Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
004603 Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France]An inference system for detecting firewall filtering rules anomalies
004860 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Intruders with Caps
004C40 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Intruders with Caps
004E20 Yannick Chevalier [France] ; Denis Lugiez [France] ; Michael Rusinowitch [France]Toward an Automatic Analysis of Web Service Security
005355 Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree Automata with Equality Constraints Modulo Equational Theories
005586 Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]Tree automata with equality constraints modulo equational theories
005754 Siva Anantharaman [France] ; Gaétan Hains [France] ; Michael Rusinowitch [France] ; Paul Gastin [France] ; John Mullins [Canada]Journal of Automata, Languages and Combinatorics, Vol. 11(1)
006376 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Closure properties and decision problems of dag automata
006B10 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo ACUI Plus Distributivity Axioms
006B57 Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France]On the fly pattern matching for intrusion detection with Snort
007969 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo ACUI Plus Homomorphisms/Distributivity
007B04 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]ACID -Unification Is NEXPTIME-Decidable
008734 Alessandro Armando [Italie] ; David Basin [Allemagne] ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Sebastian Mödersheim [Allemagne] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigan [Allemagne] ; Laurent Vigneron [France]The AVISS Security Protocol Analysis Tool
009293 Michael Rusinowitch [France]Rewriting for Deduction and Verification
009E14 Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]The Theory of Total Unary RPO Is Decidable
00A946 Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] ; Rakesh Verma [États-Unis]RPO Constraint Solving Is in NP
00E344 Emmanuel Kounalis [France] ; Michael Rusinowitch [France]On word problems in Horn theories
00E555 Michael Rusinowitch [France]On termination of the direct sum of term-rewriting systems
00E606 Jieh Hsiang [États-Unis] ; Michael Rusinowitch [France]On word problems in equational theories
00E860 Jieh Hsiang [États-Unis] ; Michael Rusinowitch [France]A new method for establishing refutational completeness in theorem proving
00EA39 Michael Rusinowitch [France]Path of subterms ordering and recursive decomposition ordering revisited
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022